Memory ordering

Results: 64



#Item
41MemSAT: Checking Axiomatic Specifications of Memory Models Emina Torlak Mandana Vaziri

MemSAT: Checking Axiomatic Specifications of Memory Models Emina Torlak Mandana Vaziri

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58
42Efficient Algorithms for Verifying Memory Consistency Chaiyasit Manovit Sudheendra Hangal  Sun Microsystems

Efficient Algorithms for Verifying Memory Consistency Chaiyasit Manovit Sudheendra Hangal Sun Microsystems

Add to Reading List

Source URL: xenon.stanford.edu

Language: English - Date: 2005-07-12 03:12:48
43Non-volatile memory improves energy efficiency by two orders of magnitude

Non-volatile memory improves energy efficiency by two orders of magnitude

Add to Reading List

Source URL: phys.org

Language: English - Date: 2014-11-28 20:19:18
44Objective Our goal is to address the metrology of magnetic effects at the nanoscale level. Nanomagnet arrays form the basis for important data storage technologies, notably magnetoresistive random access memory and bit-p

Objective Our goal is to address the metrology of magnetic effects at the nanoscale level. Nanomagnet arrays form the basis for important data storage technologies, notably magnetoresistive random access memory and bit-p

Add to Reading List

Source URL: nist.gov

Language: English - Date: 2012-10-02 10:07:00
45DEVELOPMENT OF FERROMAGNETIC SHAPE MEMORY ALLOYS FOR SENSING, ACTUATING AND SHAPE MORPHING APPLICATIONS

DEVELOPMENT OF FERROMAGNETIC SHAPE MEMORY ALLOYS FOR SENSING, ACTUATING AND SHAPE MORPHING APPLICATIONS

Add to Reading List

Source URL: vsgc.odu.edu

Language: English - Date: 2007-09-17 12:15:26
46CONVERSION: Multi-Version Concurrency Control for Main Memory Segments Timothy Merrifield Jakob Eriksson

CONVERSION: Multi-Version Concurrency Control for Main Memory Segments Timothy Merrifield Jakob Eriksson

Add to Reading List

Source URL: www.cs.uic.edu

Language: English - Date: 2013-03-08 14:22:06
47Magnetic Devices CPP-GMR Devices Using Synthetic Antiferromagnet Prof. Emeritus Koichiro INOMATA (Tohoku University)

Magnetic Devices CPP-GMR Devices Using Synthetic Antiferromagnet Prof. Emeritus Koichiro INOMATA (Tohoku University)

Add to Reading List

Source URL: www.jst.go.jp

Language: English - Date: 2013-11-29 00:06:31
48MAGNETORESISTIVE (MR) HEADS AND THE EARLIEST MR HEAD-BASED DISK DRIVES: SAWMILL AND CORSAIR Christopher H. Bajorek, Storage Special Interest Group Computer History Museum, Mountain View, CA Why it is Important Hard disk

MAGNETORESISTIVE (MR) HEADS AND THE EARLIEST MR HEAD-BASED DISK DRIVES: SAWMILL AND CORSAIR Christopher H. Bajorek, Storage Special Interest Group Computer History Museum, Mountain View, CA Why it is Important Hard disk

Add to Reading List

Source URL: www.computerhistory.org

Language: English - Date: 2012-08-28 18:37:23
49ICD-9 Surgical Procedure Code  PA

ICD-9 Surgical Procedure Code PA

Add to Reading List

Source URL: dvha.vermont.gov

Language: English - Date: 2013-12-31 15:20:05
50Objective Our goal is to address the metrology of magnetic effects at the nanoscale level. Nanomagnet arrays form the basis for important data storage technologies, notably magnetoresistive random access memory and bit-p

Objective Our goal is to address the metrology of magnetic effects at the nanoscale level. Nanomagnet arrays form the basis for important data storage technologies, notably magnetoresistive random access memory and bit-p

Add to Reading List

Source URL: www.nist.gov

Language: English - Date: 2012-10-02 10:07:00